約 2,917,808 件
https://w.atwiki.jp/monaring/pages/361.html
128頭身モナー ４緑緑緑緑 クリーチャー ─ 巨人・モナー 12/8 到達 (このクリーチャーは飛行を持つクリーチャーをブロックできる。) 128頭身モナーは、いずれかの１さんが場に出ているかぎりトランプルを持つ。 33版の 31が投稿したカード。ベーシック第１版に収録(レア)。 [部分編集] 緑恒例の大型クリーチャー。……といってもここまででかいのもなかなか珍しい。 同サイズのクリーチャーと比較してもコストは８マナの低めなので割と召喚しやすい。 肝心の能力は12/8と、クリーチャー名前をそのままサイズ欄に落とし込んだ形。 到達があるので相手の飛行クリーチャーのほとんどは止まるが、 除去耐性が無く、相手か自分が１さんを持っていないかぎりトランプルもつかないので構築での活躍は微妙か。 ちなみにBS1では１さんは友好色?である白と赤に１体ずつ登場する。
https://w.atwiki.jp/pby1117/pages/13.html
人気商品一覧 @wikiのwikiモードでは #price_list(カテゴリ名) と入力することで、あるカテゴリの売れ筋商品のリストを表示することができます。 カテゴリには以下のキーワードがご利用できます。 キーワード 表示される内容 ps3 PlayStation3 ps2 PlayStation3 psp PSP wii Wii xbox XBOX nds Nintendo DS desctop-pc デスクトップパソコン note-pc ノートパソコン mp3player デジタルオーディオプレイヤー kaden 家電 aircon エアコン camera カメラ game-toy ゲーム・おもちゃ全般 all 指定無し 空白の場合はランダムな商品が表示されます。 ※このプラグインは価格比較サイト@PRICEのデータを利用しています。 たとえば、 #price_list(game-toy) と入力すると以下のように表示されます。 ゲーム・おもちゃ全般の売れ筋商品 #price_list ノートパソコンの売れ筋商品 #price_list 人気商品リスト #price_list
https://w.atwiki.jp/animesongs/pages/5953.html
オムニバス｜パチカセ タイガーマスク二世＆ハローサンディベル imageプラグインエラー ご指定のファイルが見つかりません。ファイル名を確認して、再度指定してください。 (CR1289.jpg) 発売元・販売元 発売元： 販売元 発売日 価格 円（税抜き） 内容 タイガーマスク二世 歌： 電子戦隊デンジマン 歌： ヤットデタマンのうた 歌： 仮面ライダースーパー１ 歌： 燃えろ！アーサー 歌： ゼンダマンの歌 歌： 星のペンダント 歌： とんでも戦士ムテキング 歌： ハローサンディベル 歌： 走れ！ジョリィ 歌： 名犬ロッキー 歌： おはようスパンク 歌： じゃりん子チエ 歌： 裸足のフローネ 歌： 花の子ルンルン 歌： 世界名作ものがたり 歌： 備考 タイトル、歌唱は表記のまま。 唄： 演奏：
https://w.atwiki.jp/lastbulletlunatic/pages/13.html
注意事項なのじゃ ※画像アップロード容量の増量申請がwiki運営によって承認されなかったのでGoogleBlogger（画像容量制限なしで無料らしい）にて画像を貼っております。 ※何かあればラスバレ内の桜巫女の個人チャットまで 2021/1 レギオンチャット1月 2021/2 2/1 イジられ大神さん https //1.bp.blogspot.com/-z496EEQOgoo/YBjfzx8UvhI/AAAAAAAAC8k/qXvOCZpW1XQVoAtcOmGvPb--B1frjU6ZACLcBGAsYHQ/s709/1612167185198%257E2.png 歌詞を間違える桜巫女 https //1.bp.blogspot.com/-D194FsA-an4/YBjgN3V8_iI/AAAAAAAAC8w/3Iv9s6QPdm4YxAhg7D4-x6V2-Hl3HchhQCLcBGAsYHQ/s1316/1612238406618%257E3.png ラブライブ談義 https //1.bp.blogspot.com/-QoJ21r2vCSU/YBjgvzyp3VI/AAAAAAAAC84/oRpaO56_Q4w3zu2JtqQwj7kzVTlULf7jgCLcBGAsYHQ/s1299/1612239284183%257E2.png ポジティブ大神さん https //1.bp.blogspot.com/-O2-dOOuThXE/YBjg_dHLnvI/AAAAAAAAC88/bNnZ3farZYQWcYSiOZEIjoETMu0JG9EVgCLcBGAsYHQ/s1229/1612239695974%257E2.png わためぇさんのギャグ https //1.bp.blogspot.com/-T4SS8c6JlD0/YBjhXyiZmMI/AAAAAAAAC9I/zckZONvFRwkAOPtHuhNk1dORK4_vENkWACLcBGAsYHQ/s1275/1612239971726%257E2.png さてはオートだな https //1.bp.blogspot.com/-ekVHyvDkV0Q/YBjiShewYYI/AAAAAAAAC9U/J4GSonsotC0DRrFrnsKYPFUxyVPNSu5WgCLcBGAsYHQ/s622/1612240794627%257E3.png 大神×AYAさん（1） https //1.bp.blogspot.com/-fL3G7zry02c/YBjimfJytwI/AAAAAAAAC9c/mhDJ3lYhe5cOMR29c3aV9WAM2gGNFhTTwCLcBGAsYHQ/s1742/1612241435347%257E2.png ジェネレーションギャップ…! https //1.bp.blogspot.com/-juWszsrRV_k/YBjjbXzpuWI/AAAAAAAAC9o/3CT8uY-PgRgn7yvnE_izvO0SmxPdWEiTgCLcBGAsYHQ/s1297/1612242163712%257E2.png 大神×AYAさん（2） https //1.bp.blogspot.com/-t7H4QjVEQKA/YBjj23aBScI/AAAAAAAAC9w/sc3i4cXSpP4kQRk8Df79L7ijScmsbVFLQCLcBGAsYHQ/s1199/1612205318300%257E2.png レギオン教 https //1.bp.blogspot.com/-YvjCNdK8Ah4/YBjkP6aBqrI/AAAAAAAAC94/cFDsVx0filMbnjy5Bj4dRLb2sM5Db8cPwCLcBGAsYHQ/s363/1612204175366%257E2.png ギャンブラー大神 https //1.bp.blogspot.com/-M-z2Qz6ZSXI/YBjktaO9eUI/AAAAAAAAC-E/u2jCmKJUv9UGT9WVP75nPGBMZEaOOAHpACLcBGAsYHQ/s1674/1612204018602%257E2.png 2/2 ポケモン言えるかなの謎 https //1.bp.blogspot.com/-1DSfyfRx_S0/YB4yVp2nNXI/AAAAAAAAC-k/5USVNgOsjAITLSTQ5cbIb7SYpMC-3TSfgCLcBGAsYHQ/s1583/1612591109745%257E2.png ノインヴェルト失敗（1） https //1.bp.blogspot.com/-aHMQsJMVY3w/YB4ynvxCH5I/AAAAAAAAC-s/fFpeHQBzRd0kgr9PoD3FUsegRzud9pIWgCLcBGAsYHQ/s642/1612591344198%257E2.png ノインヴェルト失敗（2） https //1.bp.blogspot.com/-af5tIlPxaI8/YB4zK8UoLBI/AAAAAAAAC-0/bcDZXTSSz1Q9clj8F4E8zopIjkCw342sgCLcBGAsYHQ/s1545/1612591427994%257E2.png 2/3 わためぇは猪突猛進 https //1.bp.blogspot.com/-RddpGMO9ckA/YB5COKiemMI/AAAAAAAAC_A/aiaHN7TTZf4ScG83ti3x928ol9m6F1GngCLcBGAsYHQ/s642/1612594877770%257E2.png 大神さんの睡眠時間 https //1.bp.blogspot.com/-tq04WRTBU5w/YB5Cmqsj5KI/AAAAAAAAC_I/YM3XNWjGp90-LqyO4AOMkZtFjBeJ--aoACLcBGAsYHQ/s896/1612595563765%257E2.png 2/4 バグ https //1.bp.blogspot.com/-5l8XlGbWzxw/YB5WETQVDdI/AAAAAAAAC_U/Cyt8knPnjfsb3gyETu0VlpJG8qZp-yc4wCLcBGAsYHQ/s998/1612597552082%257E2.png クロコのバスケ https //1.bp.blogspot.com/-eL9-fuUBsCU/YB5WtOsAP-I/AAAAAAAAC_k/q4WebRnchdUBq6pfztSoo-ISfepSBdUxQCLcBGAsYHQ/s704/1612600058204%257E2.png この格差はなんだろう https //1.bp.blogspot.com/-Y56VGR2PRNg/YCJRW-o0lMI/AAAAAAAADAE/F1nkT8Q92bwbQA-bl7wl3uSa26cJrfEMwCLcBGAsYHQ/s1092/1612861007952%257E2.png バンドリ https //1.bp.blogspot.com/-CcKt3dHfFbA/YCJRmb73bFI/AAAAAAAADAM/2pcw_36RdfQwcFN3T_Iu1TqdRpTt2gE-ACLcBGAsYHQ/s621/1612861128332%257E2.png 謎仕様（1） https //1.bp.blogspot.com/-FVKKK_-nY2A/YCJR3bQvQeI/AAAAAAAADAU/OP2U4CdsgrImHOZZ4bce1aPhEz3gA5EBwCLcBGAsYHQ/s675/1612861589151%257E2.png 2/5 わためぇの入荷 https //1.bp.blogspot.com/-e5zjQ3HBBII/YCJSxwXiI_I/AAAAAAAADAg/qg3WIAIKVcYsUSA4-Yx2lFT3nnq-7S7tgCLcBGAsYHQ/s1312/1612857164424%257E2.png わためぇはザオリクをとなえた https //1.bp.blogspot.com/-5zfxL8QVqMk/YCJTGn3nSaI/AAAAAAAADAo/g8Cvnz84aOE7Mbuqhm8LXw6cPDdTDIdkACLcBGAsYHQ/s1718/1612857443038%257E2.png 说大神，大神就到（大神さんの噂をすれば大神さんが来る） https //1.bp.blogspot.com/-NTIZqhmyqH4/YCJTZaewmhI/AAAAAAAADA0/gQtoErfjBJYcccYget0pyUV-knSEPw0FQCLcBGAsYHQ/s1621/1612857759685%257E2.png 終わらない戦い https //1.bp.blogspot.com/-a2QtyTBlSvM/YCJVx7kNG1I/AAAAAAAADBA/6r7sPodd-pM2B6jld7Wr0pdjp312BJjvgCLcBGAsYHQ/s1242/1612862800714%257E2.png 俺は? https //1.bp.blogspot.com/-3XSPB9srQgU/YCJWSOIZXLI/AAAAAAAADBI/iqcG92V5DXUesitCOBlaPKlftZSjwNvYACLcBGAsYHQ/s595/1612859167125%257E2.png 2/6 可愛いkanadeさん https //1.bp.blogspot.com/-yOxiuctGwA4/YCJXYDXVX6I/AAAAAAAADBY/_byGgOSZCe8C1_8nA9dU1tvmpBN1ZGV_QCLcBGAsYHQ/s1049/1612858922972%257E2.png ロリに厳しい運営 https //1.bp.blogspot.com/-EpyrYM2X56c/YCJXnY0-GVI/AAAAAAAADBg/I1wznUoewzAtupGQhyJmdIVqiXwvK3uggCLcBGAsYHQ/s1590/Screenshot_20210209-173827%257E2.png 2/7 ナージャ世代 https //1.bp.blogspot.com/-hLgJG2qUWLE/YCJrygFgfHI/AAAAAAAADBw/3qKNA0ysquYpwLY3ij9A36-fmgBHwM-nACLcBGAsYHQ/s1573/1612865401748%257E2.png わためぇと大神さんはベストフレンド（まとめ1） https //1.bp.blogspot.com/-RhshpN-m64c/YCJXJJvbWwI/AAAAAAAADBU/hyGS_8R3gVs7uBho6pUpmxfc1zQ7pmC_wCLcBGAsYHQ/s2144/1612860774966%257E2.png 大神×AYAさん（3） https //1.bp.blogspot.com/-oLbZysqkwSY/YCJsNJzJPEI/AAAAAAAADB8/tu8UQOMscJ01NXkXgpwE7Td6FtsPmc-PwCLcBGAsYHQ/s1655/1612868097045%257E2.png わためぇと大神さんはベストフレンド（まとめ2） https //1.bp.blogspot.com/-ZfJfcTVNM6M/YCJtAhY-CEI/AAAAAAAADCM/92idsD694a8C-7CVJYjviA3XehKvuI8LQCLcBGAsYHQ/s1254/1612868399613%257E2.png 2/8 大神様は労いたい~天災たちのレギオン頭脳戦~ https //1.bp.blogspot.com/-ZEU6eG4dZ5w/YCJ-7MJ6cQI/AAAAAAAADCg/YewJEhcZQC8OuwZOnN_6-5jgLPBLfQcOACLcBGAsYHQ/s1189/1612872125143%257E3.png ノインヴェルトの悪夢再び https //1.bp.blogspot.com/-3ghZMHT2-HU/YCJ_N-8fnGI/AAAAAAAADCs/RPThjmx-aycTjR9l1OKY4hepOYe3v_qDwCLcBGAsYHQ/s1424/1612872700342%257E2.png さよならkanadeさん…（1） https //1.bp.blogspot.com/-irvX-WcQGfU/YCJ_ljNxsLI/AAAAAAAADC0/U99VZgZaFN41eA8QKt9Cq6YD8KVJvR18QCLcBGAsYHQ/s1788/1612873246352%257E2.png さよならkanadeさん…（2） https //1.bp.blogspot.com/-Dnx2AltVM-0/YCJ_5-WHiMI/AAAAAAAADDA/o5yzeQ8TASU8dy50l7heZdCAGoKmnsBnwCLcBGAsYHQ/s2000/1612873151081%257E3.png さよならkanadeさん…（3） https //1.bp.blogspot.com/-ndNA4h5Ju8g/YCKARsPWE-I/AAAAAAAADDI/4TXiku1ZaJIS3n0Gi9mzBWZaFRS47CIPQCLcBGAsYHQ/s1190/1612858438280%257E2.png 2/9 Lunatic wiki Lunaticとは Lunaticメンバーリスト Lunaticの歴史 攻略Tips
https://w.atwiki.jp/mgsniconico/pages/18.html
第三回只杯概要 開催日時：２０１２年６月１０日（日）１３ ２０～（１３ ００頃から開会式） 種目：ＭＧＳ３(機種、バージョン不問) 難易度ハード ＲＴＡ ルール詳細 ＲＴＡ（リアルタイムアタック）です。 タイトル画面でスタートボタンを押した時点で計測開始。 リザルト画面が表示された時点で計測終了となります。 タイマーの指定は特にありません。 できれば放送画面で確認できるようにしてもらえるのが望ましいです。 全員完走、もしくは２０時になった時点で競技終了とし、準備でき次第閉会式を行います。 第三回只杯 参加予定者一覧（敬称略） YUU オデダデ ゴウ 夏黄 NESIER 運営補助 いんでっていう 当日の記録 ペナルティ説明 キル、アラート、セーブ、コンティニューに対しての罰則あり。 これらの項目はリザルト画面で確認を行います。 キル：1キルにつきタイムに２分加算 アラート：1アラートにつきタイムに２分加算 セーブ：1セーブにつき３０分加算（基本的にセーブすることは想定していません） コンティニュー：1コンティニューにつき５分加算 順位 プレイヤー タイマータイム ゲーム内タイム セーブ数 コンティニュー数 アラート数 キル数 総クリアタイム １ ゴウ １：３７：３３ １：３６：５４ ０ ０ ０ ０ １：３７：３３ ２ PS3(新型) １：５７：０３ １：５６：１７ ０ ０ ５ ０ ２：０７：０３(＋１０分) ３ NESIER １：４７：４８ １：４６：５８ ０ １ ６ ２ ２：０８：４８(＋２１分) MVP 夏黄 ２：４８：５８ ２：４７：４８ ０ １３ ５２ ２９９ １５：３５：５８(＋９３５分) 編集後記 第三回只杯後記 本日は皆さんお疲れ様でした。 競技参加者のオデダデさん、ゴウさん、夏黄さん、NESIERさん。 大会運営として、OP動画の制作、記録の集計などをして頂いたいんでっていうさん。 そして、視聴者として大会を盛り上げて頂いた皆さん（名前を全部書ききれないのでご了承下さいｗ） 本当に有難うございました。毎度のことではありますが、今回は特に大会の準備等十分ではなく、 色々とご迷惑をおかけしたかと思います。 しかし、皆さんのおかげで楽しい第三回只杯になりました。 最後に、MGS最高！ MGSRTA流行れ(*´ω｀*)
https://w.atwiki.jp/cafe-domesaka/pages/23.html
トップページ 過去スレ一覧 【ROADTO】 親善 ・交流スレ50【100スレ】 http //makimo.to/2ch/ex13_soccer/1141/1141969521.html 【カフェサカ板】 親善 ・交流スレ49【営業中】 http //makimo.to/2ch/ex12_soccer/1137/1137325609.html 【カフェサカ板】 親善 ・交流スレ48【営業中】 http //makimo.to/2ch/ex12_soccer/1134/1134206043.html 【カフェサカ板】 親善 ・交流スレ47【営業中】 http //makimo.to/2ch/ex12_soccer/1131/1131312051.html 【カフェサカ板】 親善 ・交流スレ46【営業中】 http //makimo.to/2ch/ex12_soccer/1128/1128777237.html 【カフェサカ板】 親善 ・交流スレ45【営業中】 http //makimo.to/2ch/ex12_soccer/1125/1125749925.html 【カフェサカ板】 親善 ・交流スレ44【営業中】 http //makimo.to/2ch/ex12_soccer/1122/1122725145.html 【カフェサカ板】 親善 ・交流スレ43【営業中】 http //makimo.to/2ch/ex12_soccer/1120/1120367909.html 【カフェサカ板】 親善 ・交流スレ42【営業中】 http //makimo.to/2ch/ex12_soccer/1118/1118144384.html 【カフェサカ板】 親善 ・交流スレ41【営業中】 http //makimo.to/2ch/ex12_soccer/1115/1115726043.html トップページ 過去スレ一覧
https://w.atwiki.jp/hirotakaohkubo/pages/46.html
10.9 newtype Except a b c = E (a b (Either String c)) instance ArrowChoice a = Arrow (Except a) ミッション： ArrowChoiceなアローaと型b,cがあるとき、 bから(Either String c)というアローをEで包むようなExcept aをArrowにする。 以降、アローaを、アローExcept aをと表す。またEither x y を x+y で表す。 つまりbcとbString+cは同じ意味である。 pure pure (b→c) → (bc) pure f は、fをaのコンテキストでpureでアローにして、結果をRightコンストラクタで包めばよい。 pure f = E (pure f pure Right) ( ) (bc) → (cd) → (bd) E f E g は、まずfを計算し、その結果がRightならgを計算する。 f b String+c, g c String+d, right g x+c x+(String+d) 繋ぐとxはStringにunifyされる。最終結果を String+d に型合わせするための関数を追加してみる。 E f E g = E (f right g pure destring) where destring (Left s) = Left s destring (Right (Left s)) = Left s destring (Right (Right v)) = Right v 型は合うし意味的にも正しいはずなのだが、destringという独自の関数では、次の問題の則を用いた証明が進められない。 mirrorやassocsumを用いて等価な計算を作ることができるのか、よくわからない。 first first (bc) → ( (b,d)(c,d) ) first (E f)は、Leftに対してfを計算し、Rightに対してはなにもしない。しかし型は直観的ではない。 f bc すなわち f bString+c のとき first (E f) の型は (b,d)String+(c,d) であり、(b,d)(String+c,d) ではない所が。 使える道具はaのfirstで、first f (b,d) (String+c,d) こちらは直観的。 first (E f) = E (first f pure deright) where deright (Left s,d) = Left s deright (Right c,d) = Right (c,d) 証明のために、型合わせのための独自関数derightを汎用部品で構成する。 distr (Either a b,c) → Either (a,c) (b,c) を使えば、 first (E f) = E (first f pure distr left (pure fst) ) とできる。 10.10 上の定義と則から目標を証明できない限り、上の定義が正しいとはいえない。 コメント 名前 コメント
https://w.atwiki.jp/w-highway/pages/31.html
トップページ 韓国の国道 R24 国道24号線 全羅南道 km 地名 接続/記事 ハングル/漢字orカナ/ローマ字 신안군/新安郡/Sinan-gun 0.0 점암/チョマム/Jeomam 무안군/務安郡/Muan-gun 19.5 수암/スアム/Suam R77 32.3 현강/ヒョンガン/Hyeongang R77, 1.7km to 북무안IC(EX12) 함평군/咸平郡/Hampyeon-Gun 44.7 함평/咸平/Hampyeon R23 45.7 향교/ヒャンギョ/Hyanggyo 1.1km to 동함평IC(EX12) 63.4 용산리/ヨンサン里/Yongsan-ri R22 장성군/長城郡/Jangseong-gun 86.5 장성/長城/Jangseong R1 장성-가작R1重複(1.4km) 87.9 가작/カジャク/Gajak R1, 0.8km to 장성IC(EX25) 담양군/潭陽郡/Damyang-gun 100.0 월본/ウォルボン/Wolbon R13 월본-양각R13重複(1.4km) 108.7 양각/ヤンガク/Yanggak R13 110.1 백동/ペクトン/Baekdong R13,R29 백동-담양R13重複(0.7km) 110.8 담양/潭陽/Damyang R13 120.4 도경/道境/Boundary 全羅北道 km 地名 接続/記事 ハングル/漢字orカナ/ローマ字 순창군/淳昌郡/Sunchang-gun 120.4 도경/道境/Boundary 128.0 순창(순창고)/淳昌/Sunchang R27 128.9 제일고/第一高/No.1 HS R27 137.7 괴정/ケジョン/Goejeong R13 괴정-수홍R13重複(2.3km) 남원시/南原市/Namwon-si 140.0 수홍/スホン/Suhong R13 152.9 신정/シンジョン/Sinjeong R17 156.2 남원(향교)/南原/Namwon 158.0 남원IC/南原IC/Namwon IC 0.4km to EX12 159.7 고죽/コジュク/Gojuk R19 고죽-요천R19重複(3.2km) 162.9 요천/ヨチョン/Yocheon R19 180.9 인월(배암동)/イノル/Inwol 2.3km to 지리산IC(EX12) 184.3 도경/道境/Boundary 慶尚南道 km 地名 接続/記事 ハングル/漢字orカナ/ローマ字 함양군/咸陽郡/Hamyang-gun 184.3 도경/道境/Boundary 196.4 함양(주차장)/咸陽/Hamyang 3.2km to 함양IC(EX12) 207.0 지곡IC/池谷IC/Jigok IC 0.7km to EX35 213.2 석천/ソクチョン/Seokcheon R3 석천-송정3重複(14.0km) 거창군/居昌郡/Geochang-gun 227.2 송정/ソンジョン/Songjeong R3 229.6 거창/居昌/Geochang 231.5 거창IC/居昌IC/Geochang IC EX12 합천군/陜川郡/Hapcheon-gun 245.6 봉산/ポンサン/Bongsan R59 247.5 오도산입구/オド山入口/Odo-san-ipgu R59 253.5 묘산/ミョサン/Myosan R26 265.7 금양/クミャン/Geumyang R33 269.6 합천/陜川/Hapcheon R33 294.3 적포/チョクポ/Jeokpo R20 석천-송정R20重複(22.7km) 창녕군/昌寧郡/Changnyeong-gun 317.0 고암/コアム/Goam R20 밀양시/密陽市/Miryang-si 345.4 춘화/チュヌァ/Chunhwa R58 347.4 부북(운전)/プブク/Bubuk R58 349.0 밀양(신촌)/密陽/Miryang R25 352.7 긴늪/キンヌプ/Ginneup R25 353.5 밀양IC/密陽IC/Miryang IC 1.4km to EX55 384.3 가지산터널/カジ山T/Gaji-san T 蔚山広域市 km 地名 接続/記事 ハングル/漢字orカナ/ローマ字 울주군/蔚州郡/Ulju-gun 384.3 가지산터널/カジ山T/Gaji-san T 397.3 언양/オニャン/Eonyaong R35 412.4 인터넷고/インターネット高/Internet HS 0.5km to 장검IC(EX16) 울산광역시/蔚山広域市/Ulsan M.G. 413.9 삼호/サモ/Samho R7
https://w.atwiki.jp/hirotakaohkubo/pages/22.html
1.1 Fork x a (merge b c) Fork x (merge a c) b 線形なヒープ2つをmergeするとき、joinがこれらだと結果も線形になる。 1.2 このwikiでは絵がかけないので項の形で示す。 実装を動かすと、以下の結果を得る。 1. Fork 7 1 (Fork 6 2 (Fork 5 3 (Fork 4 4 (Fork 3 5 (Fork 2 6 (Fork 1 7 Null Null) Null) Null) Null) Null) Null) Null 2. Fork 7 1 (Fork 3 3 (Fork 1 7 Null Null) (Fork 1 5 Null Null)) (Fork 3 2 (Fork 1 6 Null Null) (Fork 1 4 Null Null)) 3. Fork 6 2 (Fork 3 3 (Fork 1 4 Null Null) (Fork 1 7 Null Null)) (Fork 2 5 (Fork 1 6 Null Null) Null) 3.が図1.2の木からどのようにmergeされて出来上がるのか追ってみるとよい。 1.3 最大回避は、両方の部分木のサイズが大きい方は手を付けず、小さい方の木を組み替える計算をする。線形な場合、小さい方が 0 ということで最高に都合がよい。 逆に、平衡ということは二分木の両方の部分木のサイズがあまり変わらないということで、計算量は最悪の場合へ近づく。 1.4 insertにより生成されてから、joinによる複製で一度も置き換わらず、最も長い期間生存しているのは4を持つノード。 (異論あり) 1.5 左 foldr insert Null [2,1,4,3,6,5,8,9,7] 右 h1 where h1 = merge n1 h3 n1 = insert 2 $ insert 1 Null h3 = merge n3 h5 n3 = insert 4 $ insert 3 Null h5 = merge n5 h7 n5 = insert 6 $ insert 5 Null h7 = insert 9 $ insert 8 $ insert 7 Null 後続する本文に関して、これらの木の作り方が「根に近いところに新たなノードを追加し、それ以前に作った部分は保存する」スタイルなので、このような木を構成する計算がO(n)である点が重要。 ねじれヒープで同じ手順でヒープを構成すると、何と同じ形をしたヒープを得る。 1.6× パス 1.7× 計算量を表す記号についてはWikipedia ランダウの記号 - その他の漸近記法を参照。 Oは上界だけの記号なので、 は でもある。このトリビアルな解を蹴るために問題文ではわざわざ としているようだ。 具体的な答えは判らない。 1.8△ 前半の実装のみ。特に難しいところはない。目立つところだけ示す。 data (Ord a) = Tree a = Null | Fork a (Tree a) (Tree a) (Tree a) deleteMin (Fork a b c) = merge a (merge b c) -- マージは2つずつしかできない join (Fork x a b c) d = Fork x b c (merge a d) -- 順ぐりに。 コメント 名前 コメント
https://w.atwiki.jp/a_jack/pages/360.html